Formal methods

Results: 2204



#Item
21SIDRA 2017 Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Maria Domenica Di Benedetto, Giordano Pola, Pierdomenico Pepe and Alessandro Borri

SIDRA 2017 Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Maria Domenica Di Benedetto, Giordano Pola, Pierdomenico Pepe and Alessandro Borri

Add to Reading List

Source URL: muwo1.unibo.it

Language: English - Date: 2017-07-26 03:53:48
    22Collaborative and transparent Free Software development Lydia Pintscher Institute of Applied Informatics and Formal Description Methods Karlsruhe Institute of Technology 30. Juni 2011

    Collaborative and transparent Free Software development Lydia Pintscher Institute of Applied Informatics and Formal Description Methods Karlsruhe Institute of Technology 30. Juni 2011

    Add to Reading List

    Source URL: lydiapintscher.de

    Language: German - Date: 2011-06-30 11:19:45
      23Formal Methods in System Design manuscript No. (will be inserted by the editor) Refutation-Based Synthesis in SMT Andrew Reynolds · Viktor Kuncak · Cesare Tinelli · Clark Barrett ·

      Formal Methods in System Design manuscript No. (will be inserted by the editor) Refutation-Based Synthesis in SMT Andrew Reynolds · Viktor Kuncak · Cesare Tinelli · Clark Barrett ·

      Add to Reading List

      Source URL: lara.epfl.ch

      - Date: 2017-08-25 12:01:44
        24Combining Formal Methods and Industrial Pragmatics Eric L. McCorkle November 2, 2016

        Combining Formal Methods and Industrial Pragmatics Eric L. McCorkle November 2, 2016

        Add to Reading List

        Source URL: ericmccorkleblog.files.wordpress.com

        - Date: 2016-11-15 14:02:39
          251 40 Years of Formal Methods 8 Obstacles and 3 Possibilities ? Dedicated to Chris W. George

          1 40 Years of Formal Methods 8 Obstacles and 3 Possibilities ? Dedicated to Chris W. George

          Add to Reading List

          Source URL: www.imm.dtu.dk

          - Date: 2014-04-26 05:20:08
            2640 Years of Formal Methods Some Obstacles and Some Possibilities ? Dines Bjørnerα and Klaus Havelundβ,0 α Fredsvej 11, DK-2840 Holte, Danmark

            40 Years of Formal Methods Some Obstacles and Some Possibilities ? Dines Bjørnerα and Klaus Havelundβ,0 α Fredsvej 11, DK-2840 Holte, Danmark

            Add to Reading List

            Source URL: www.imm.dtu.dk

            - Date: 2014-03-18 03:55:21
              27Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods

              Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods

              Add to Reading List

              Source URL: www.imm.dtu.dk

              - Date: 2016-09-28 03:17:34
                28Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods

                Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods

                Add to Reading List

                Source URL: www2.compute.dtu.dk

                - Date: 2016-09-28 03:17:34
                  291 40 Years of Formal Methods 8 Obstacles and 3 Possibilities ? Dedicated to Chris W. George

                  1 40 Years of Formal Methods 8 Obstacles and 3 Possibilities ? Dedicated to Chris W. George

                  Add to Reading List

                  Source URL: www.imm.dtu.dk

                  - Date: 2014-04-04 08:14:53
                    301 40 Years of Formal Methods 10 Obstacles and 3 Possibilities ? Dedicated to Chris W. George

                    1 40 Years of Formal Methods 10 Obstacles and 3 Possibilities ? Dedicated to Chris W. George

                    Add to Reading List

                    Source URL: www.imm.dtu.dk

                    - Date: 2014-03-18 03:55:35